The Act Formalism

نویسندگان

  • Karen L. Myers
  • David E. Wilkins
چکیده

This document describes Version 2.2 of SRI’s Act formalism. The Act formalism is a domain-independent language for representing task networks whose actions manipulate both an external world and an internal database. It is intended to serve as an interchange language that will enable a broad range of action-related technologies to share information. The most recent version of the Act specification can be found at the URL: http://www.ai.sri.com/ ̃act/act-spec.ps

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies

In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...

متن کامل

A Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies

In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...

متن کامل

NONDYNAMICAL ANALYSIS OF SPIN AMPLITUDES IN PION-PROTON ELASTIC SCATTERING IN OPTIMAL FORMALISM AT 6.0 GeV/C

Optimal conditions are used in nondynamical formalism to diagonalize the pionproton reaction matrix as much as possible. Invariance laws are imposed to simplify the relationship between observables and bilinear combination of amplitudes. Transverse amplitudes are determined by using measured polarization parameter in xfp elastic scattering at 6.0 GeVIC

متن کامل

کاربرد روش توزیع برای مطالعه لایه‌های نور گونه در نسبیت عام

  A null thin shell immersed in a generic spherically symmetric space-time is studied within the distributional formalism. It has been shown that the distributional formalism leads to the same result as the conventional Barrabes-Israel formalism.

متن کامل

Comparison the treatment time of cobalt and iridium sources in HDR brachytherapy

Introduction: The use of long-half-life Cobalt source instead of iridium source will be very helpful in HDR brachytherapy for treatment of cervical cancer. The aim of this study was compared the treatment time with cobalt and iridium source in brachytherapy for treatment of cervical cancer using Tandem-ovoid applicator. Materials and Methods: In this study, 19...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997